![arxiv：2402.15293v4 [cs.cr] 2024年7月11日](/simg/7/74dfa6e9012f3c3ffdd3e4a839f1729b813dcc03.webp)
机构名称：
¥ 2.0
零知识证明（ZKP）已经从成为一个口头上的概念而发展，该概念为实用，现实世界中的实现提供了隐私和验证，并以狡猾的（成功的非互动性知识论证）作为最重要的创新之一。先前的工作主要集中在为其设计更有效的Snark系统和保护安全证明。许多人认为Snark是“仅数学”，这意味着被证明是正确且安全的是在实践中是正确的。相比之下，本文着重于评估现实生活中Snark实施的端到端安全性。我们首先使用系统模型建立基金会，并建立威胁模型并定义使用SNARKS的系统的对抗性角色。我们的研究 - 对SNARK实施中的141个实际漏洞进行了广泛的分析，提供了详细的分类法，以帮助开发人员和安全研究人员了解采用Snarks的系统中的安全威胁。最后，我们评估了现有的防御机制，并提供了推荐，以增强基于SNARK的系统的安全性，为将来的实施铺平了道路。
arxiv：2402.15293v4 [cs.cr] 2024年7月11日
主要关键词
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日PDF文件第1页](/bimg/f/f72827849a6c1fbc8b1fd368a3b27d0033084108.webp)
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日PDF文件第2页](/bimg/4/4d215385640e56a6baf0f33c57ffaae05e7900ff.webp)
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日PDF文件第3页](/bimg/e/e5303a317ddce50c80b433373e5e9424ac0d4026.webp)
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日PDF文件第4页](/bimg/3/322c0a4d8aa37858a82acccd6e66a04bdd02a677.webp)
![arxiv：2402.15293v4 [cs.cr] 2024年7月11日PDF文件第5页](/bimg/5/5de95775bae2e5b0ab44bc225127ee4b12e62a0a.webp)
相关文件推荐
![arxiv：2402.07127v1 [cs.ro] 2024年2月11日](/simg/7/747a8fb5eddc719229d5f43e7fa8503e66b24567.webp)
![arxiv：2401.05363v4 [eess.sp] 11月11日，2024年7月](/simg/b/ba1742bc77a8dfbb6a8152d56fd2735a158fea04.webp)
![arxiv：2402.08093v2 [cs.lg] 2024年2月15日](/simg/8/8497e8447b6bcf461e6970f417b07a695e4f6bd5.webp)
![arxiv：2402.14708v2 [cs.lg] 2024年11月27日](/simg/f/f4eea40ae577324e7367cebb2de8336e7a99368e.webp)
![arxiv：2402.09506v2 [cond-mat.str-el] 7月7日，2024年7月](/simg/2/2aa0ce2bd67042120790a68648251a0fbf1ccaa7.webp)
![arxiv：2402.04580v2 [cs.ro] 2024年8月27日](/simg/d/d930df60d6b65f8972beb8c847aa187a16e6ee32.webp)
![arxiv：2402.03342v1 [cs.ro] 2024年1月21日](/simg/4/497fa908bdb681ac9b58cc6f4e6d665ed1b9d37f.webp)
![arxiv：2402.03046v1 [cs.lg] 2024年2月5日](/simg/a/a507fe74de897f4ac46fa9a4ad0531192be26d34.webp)
![arxiv：2402.06414v1 [cs.lg] 2024年2月9日](/simg/a/a690fe2c47c5d11051de77c280dbd9ea02c069b5.webp)
![arxiv：2402.01327v3 [cs.lg] 2024年5月5日](/simg/a/aa194300a4735521c1deb80cffcffd0e2903a721.webp)
![arxiv：2407.21654v1 [cs.cv] 2024年7月31日](/simg/e/eea76ff78a5e1b25306a95443ed7ef0f1c6b852c.webp)
![arxiv：2402.00059v1 [cs.lg] 2024年1月28日](/simg/d/df4199e81fd68f37b31a66ca712d83262d1423f7.webp)
![arxiv：2402.14527v1 [cs.lg] 2024年2月22日](/simg/c/c5e7363979a4b34fd46e6bbf66b93e8509e227cb.webp)
![arxiv：2401.05968v1 [cs.cv] 2024年1月11日](/simg/3/33efe67402bfe23c5057d0aa0708a382552940d6.webp)
![arxiv：2402.10553v1 [cs.ro] 2024年2月16日](/simg/5/50ab6410c1bde83c8f60ce0ddb3b53f53686316b.webp)
![arxiv：2402.06363v1 [cs.cr] 2024年2月9日](/simg/3/3ddec16645db39f41f09cb1eb4c0f25652f964b0.webp)
![arxiv：2402.12702v2 [cs.ai] 2024年2月26日](/simg/3/328419de55ca4015b4bbfa96eb1075dcfec2dfee.webp)
![arxiv：2402.02385v1 [cs.ro] 2024年2月4日](/simg/3/3dc500ee58d3c948d12a92f3b875d2da17092f15.webp)
![arxiv：2402.16095v3 [cs.cr] 2024年6月16日](/simg/1/1be9a8ca2461397a2910c71ae223e7c3d5ebc6a4.webp)
![arxiv：2402.08540v1 [cs.lg] 2024年2月13日](/simg/0/0d3c5d21d7ebc6c4f9033fdcaf762fcc6af0e990.webp)
![arxiv：2402.09233v1 [cs.ro] 2024年2月14日](/simg/b/b52ed5719ba2880b07e9631eab06b78b4dd35d30.webp)
